On the Lattice of Intervals and Rough Sets

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Adam Grabowski | Magdalena Jastrzębska

Valuation Theory. Part I

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Grzegorz Bancerek | Hidetsune Kobayashi | Artur Korniłowicz

Isomorphisms of Direct Products of Finite Cyclic Groups

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Kenichi Arai | Hiroyuki Okazaki | Yasunari Shidama

Partial Differentiation of Real Ternary Functions

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Takao Inoué | Bing Xie | Xiquan Liang

Abstract Simplicial Complexes

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Karol Pąk

Semantics of MML Query - Ordering

JOURNAL ARTICLE published 1 January 2013 in Formalized Mathematics

Authors: Grzegorz Bancerek

Differentiation in Normed Spaces

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama

The Mycielskian of a Graph

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Piotr Rudnicki | Lorna Stewart

Schur's Theorem on the Stability of Networks

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Christoph Schwarzweller | Agnieszka Rowińska-Schwarzweller

Extended Euclidean Algorithm and CRT Algorithm

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yosiki Aoki | Yasunari Shidama

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yatsuka Nakamura | Hisashi Ito

Partial Correctness of GCD Algorithm

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Ievgen Ivanov | Artur Korniłowicz | Mykola Nikitchenko

A Theory of Matrices of Real Elements

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Yatsuka Nakamura | Nobuyuki Tamura | Wenpai Chang

The Axiomatization of Propositional Logic

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Mariusz Giero

Integral of Real-Valued Measurable Function1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Yasunari Shidama | Noboru Endou

Analysis of Algorithms: An Example of a Sort Algorithm

JOURNAL ARTICLE published 1 January 2013 in Formalized Mathematics

Authors: Grzegorz Bancerek

More on Divisibility Criteria for Selected Primes

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Adam Naumowicz | Radosław Piliszek

Linear Transformations of Euclidean Topological Spaces. Part II

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

On L1 Space Formed by Complex-Valued Partial Functions

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Yasushige Watase | Noboru Endou | Yasunari Shidama

On the Properties of the Möbius Function

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Magdalena Jastrzebska | Adam Grabowski